1301. Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Author: Sophie Tison )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
2378
1302. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 :proceedings
Author: Claude Kirchner )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
690
1303. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1993
1304. Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Author: Leo Bachmair )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
1833
1305. Rewriting techniques and applications : 8th International Conference, RTA-97 Sitges, Spain, June 2-5, 1997: proceedings
Author: Hubert Comon )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
1232
1306. Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30 1996 : proceedings
Author: Harald Ganzinger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
1103
1307. Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings
Author: Paliath Narendran, Michael Rusinowitch )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
1631
1308. Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999, proceedings
Author: Paliath Narendran, Michael Rusinowitch, eds
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
267
.
R477
1999
1309. Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Author: Tobias Nipkow )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
1379
1310. Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Author: Aart Middeldorp )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
2051
1311. Rewriting techniques and applications: 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
267
.
I565
2001
1312. Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
Author: Robert Nieuwenhuis )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
2706
1313. Rough Sets and Current Trends in Computing.
Author: Wojciech Ziarko
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ebooks -- UML.
1314. SAT 2005 :
Author: edited by Enrico Giunchiglia and Toby Walsh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
Classification :
QA76
.
9
.
A43
S28
2006eb
1315. SOFSEM '95:
Author: edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Software engineering.
1316. STACS 92 :
Author: A[lain] Finkel, M[atthias] Jantzen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
1317. STACS 87 :
Author: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science.,Computers.
1318. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
Author: sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2010
1319. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
Author: sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2011
1320. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2005
